منابع مشابه
Application of Generalised sequential crossover of languages to generalised splicing
This paper outlines an application of iterated version of generalised sequential crossover of two languages (which in some sense, an abstraction of the crossover of chromosomes in living organisms) in studying some classes of the newly proposed generalised splicing (GS) over two languages. It is proved that, for X, Y ∈ {FIN, REG, LIN, CF, CS, RE}, Σ ∈ FIN , the subclass of generalized splicing ...
متن کاملGeneralised sequential crossover of words and languages
In this paper, we propose a new operation, Generalised Sequential Crossover (GSCO) of words, which in some sense an abstract model of crossing over of the chromosomes in the living organisms. We extend GSCO over language L iteratively (GSCO∗(L) as well as iterated GSCO over two languages GSCO∗(L1, L2)). Our study reveals that GSCO ∗(L) is subclass of regular languages for any L. We compare the ...
متن کاملGeneralised Test = Generalised Inference
Tim Menzies Dept. of Software Development, Monash University, Australia [email protected]; http://www.sd.monash.edu.au/ timm Abstract|We are used to viewing veri cation and validation as tasks to be performed after a knowledge-base is built. In this standard view, the inference engine is built rst, the knowledge base is then lled out, then nally a test engine is added to verify or va...
متن کاملGeneralised Backjumping
Gaschnig's backjumping algorithm has become one of the standard methods for constraint satisfaction, performing dependency-directed backtracking (`backjumping') from nodes which cannot be further expanded during tree search. In this paper, we show how this algorithm can be extended to also permit backjumping from nodes which were expanded, but whose subtrees eventually failed. We experimentally...
متن کاملGeneralised Filtering
We describe a Bayesian filtering scheme for nonlinear state-space models in continuous time. This scheme is called Generalised Filtering and furnishes posterior conditional densities on hidden states and unknown parameters generating observed data. Crucially, the scheme operates online, assimilating data to optimize the conditional density on time-varying states and time-invariant parameters. I...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Linguistic Theory
سال: 2021
ISSN: 2163-5951
DOI: 10.3765/salt.v30i0.4841